Lightweight Java
نویسندگان
چکیده
Lightweight Java (LJ) is an imperative fragment of Java [5]. It is intended to be as simple as possible while still retaining the feel of Java. LJ includes fields, methods, single inheritance, dynamic method dispatch, and method overriding. It does not include support for local variables, field hiding, interfaces, inner classes, or generics. The accompanying Isabelle script proves the type soundness of the Ott-generated LJ definition.
منابع مشابه
An ultra-lightweight Java interpreter for bridging CS1
This paper presents an ultra-lightweight Java interpreter for use in teaching CS1 courses. The interpreter is targeted specifically at complete beginner programmers and addresses aspects particularly relevant or troublesome to novices, such as expressions, method calls, method calls as sub-expressions, and recursion. The interpreter works on a subset of Java and is intended as a bridge to a mor...
متن کاملAn Implementation of a Lightweight Argumentation Engine for Agent Applications
Argumentation is becoming increasingly important in the design and implementation of autonomous software agents. In this paper we discuss our current work on a prototype lightweight Java-based argumentation engine that can be used to implement a non-monotonic reasoning component in Internet or agent-based applications. As far as possible we are aiming towards implementing a general purpose argu...
متن کاملA technology for lightweight web-based visual applications
Providing useful and usable visual interaction for web-based applications is a challenge without requiring client-side support such as Java applets. We describe Cliki, which provides web-based lightweight support for visual systems. Cliki makes minimal assumptions about the client used to view the web pages, meaning applications that use it are highly accessible.
متن کاملMAE and MAI: Lightweight Annotation and Adjudication Tools
MAE and MAI are lightweight annotation and adjudication tools for corpus creation. DTDs are used to define the annotation tags and attributes, including extent tags, link tags, and non-consuming tags. Both programs are written in Java and use a stand-alone SQLite database for storage and retrieval of annotation data. Output is in stand-off XML.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Archive of Formal Proofs
دوره 2011 شماره
صفحات -
تاریخ انتشار 2011